Henderson byte: Georg Ohm

Georg Bauer

Bb Ohm's Theorem for Bb Ohm Trees

We prove that adding to the pure-calculus a non-deterministic choice operator and a standard numeralsystem we obtain a language which internally discriminates two-terms if and only if they have diierent BB ohm trees.

Intersection Types, -models, and Bb Ohm Trees

This paper is an introduction to intersection type disciplines, with the aim of illustrating their theoretical relevance in the foundations of-calculus. We start by describing the well-known results showing the deep connection between intersection type systems and normalization properties, i.e., their power of naturally characterizing solvable, normalizing, and strongly normalizing pure-terms. ...

Editorial Atypical Speech Georg

One of the most important aspects of spoken language is its large degree of variability. Variability in speech is caused by many different sources, for instance, changes of the acoustic environment or transmission channel and differences between speakers or various speaking styles. Successful speech processing systems typically combine several different means to cope with the unwanted variabili...

Georg Friedrich Händel's strokes.

Georg Friedrich Händel was a musical giant and probably the first composer to be the manager and promoter of his own works. The story of his life and illnesses is full of myths, invented and embellished by various biographies. Existing pathographies written by authors from various specialities suggested he suffered from psychiatric diseases like cyclothymia or mania and rheumatologic disorders ...